Model-Theoretic Methods in Combined Constraint Satisfiability
نویسندگان
چکیده
منابع مشابه
Constraint Methods for Modal Satisfiability
Modal and modal-like formalisms such as temporal or description logics go beyond propositional logic by introducing operators that allow for a guarded form of quantification over states or paths of transition systems. Thus, they are more expressive than propositional logic, yet computationally better behaved than first-order logic. We propose constraint-based methods to model and solve modal sa...
متن کاملAlgebraic and model theoretic methods in constraint satisfaction
This text is related to the tutorials I gave at the Banff International Research Station and within a “Doc-course” at Charles University Prague in the fall of 2014. It describes my current research and some of the most important open questions related to it.
متن کاملTesting XML constraint satisfiability
In a previous paper, we have showed that Hybrid Modal Logic can be successfully used to model semistructured data and provides a simple and well suited formalism for capturing “well typed” references and of course a powerful language for expressing constraint. This paper builds on the previous one and provides a tableau proof technique for constraint satisfiability testing in the presence of sc...
متن کاملThe Satisfiability Constraint Gap
We describe an experimental investigation of the satisfiability phase transition for several different classes of randomly generated problems. We show that the “conventional” picture of easyhard-easy problem difficulty is inadequate. In particular, there is a region of very variable problem difficulty where problems are typically underconstrained and satisfiable. Within this region, problems ca...
متن کاملSet Theoretic Methods in Model Predictive Control
The main objective of this paper is to highlight the role of the set theoretic analysis in the model predictive control synthesis. In particular, the set theoretic analysis is invoked to: (i) indicate the fragility of the model predictive control synthesis with respect to variations of the terminal constraint set and the terminal cost function and (ii) discuss a simple, tube based, robust model...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Automated Reasoning
سال: 2004
ISSN: 0168-7433,1573-0670
DOI: 10.1007/s10817-004-6241-5